#ifndef GETKATA_H
#define	GETKATA_H

#include <stdio.h>
#include <stdlib.h>
#include "boolean.h"
#include "stack.h"
#include "ReadFile.h"
#include "Transition.h"

extern Stack x[9];

void PDA (myKata kata);

int FindTop (char c);

int FindEmpty();

boolean IsInArray (char c);

boolean isEmptyArray ();

boolean IsNonTerminal ();

boolean IsTerminal ();

void CreateEmptyArray ();

void FixArray ();

void tes (myKata kata,boolean * cek);

#endif	/* GETKATA_H */

